Binospec Software System

A Detailed Thermal Analysis of the Binospec Spectrograph

Refractive optics in astronomical instruments are potentially sensitive to temperature gradients and temperature transients. This sensitivity arises from thermally dependent refractive indices, lens spacings, and lens dimensions. In addition, thermal gradients in the instrument structure can cause undesirable image shifts at the detector that degrade instrument calibration. We have therefore un...

System and Software Visualisation

The progress of software visualisation, beyond that of nodes and arcs in various forms, has lagged behind the developments made in such fields as information visualisation. That is now starting to change and recent innovations are reviewed, based on a historical view of software visualisation, and followed by some of the many outstanding research issues. The use of threedimensions is almost as ...

High Assurance System Software

This paper describes an approach to developing high assurance system software. We demonstrate how different formal methods can be applied in the development process by matching specific techniques and tools to the different levels of system requirements and how those techniques can complement each other.

Better Embedded System Software

MPI Cluster System Software

We describe the use of MPI for writing system software and tools, an area where it has not been previously applied. By “system software” we mean collections of tools used for system management and operations. We describe the common methodologies used for system software development, together with our experiences in implementing three items of system software with MPI. We demonstrate that MPI ca...